Diclib.com
ChatGPT AI Dictionary

Dictionary Lookup Custom Solutions

Enter a word or phrase in any language 👆

Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

how the word is used
frequency of use
it is used more often in oral or written speech
word translation options
usage examples (several phrases with translation)
etymology

What (who) is OBJ3 - definition

PROGRAMMING LANGUAGE FAMILY

OBJ2; OBJ3

OBJ3

<language> A version of OBJ based on {order-sorted rewriting}. OBJ3 is agent-oriented and runs on AKCL. E-mail: <obj3sys@crl.sri.com>, <obj3dist@csl.sri.com>. ["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988]. (1995-03-16)

OBJ2

Clear-like parametrised modules. A functional system based on equations. "Principles of OBJ2", K. Futatsugi et al, 12th POPL, ACM 1985, pp.52-66.

OBJ (programming language)

OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.

https://en.wikipedia.org/wiki/OBJ_(programming_language)

Wikipedia

OBJ (programming language)

OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.

https://en.wikipedia.org/wiki/OBJ (programming language)